Propositional calculus - PDFSEARCH.IO - Document Search Engine

Propositional calculus
Results: 1046

#	Item
461	Abstracta 6 : 1, pp. 117 – 135, 2010 CARNAP’S PROBLEM: WHAT IS IT LIKE TO BE A NORMAL INTERPRETATION OF CLASSICAL LOGIC?* Add to Reading List Source URL: www.abstracta.pro.br Language: English - Date: 2013-11-01 19:08:08 Propositional calculus Semantics Boolean algebra Model theory Algebraic logic Interpretation Entailment Valuation Truth table Logic Mathematical logic Mathematics
462	Truth, Signification and Paradox∗ Stephen Read University of St Andrews, Scotland [removed] February 14, 2015 Add to Reading List Source URL: www.st-andrews.ac.uk Language: English - Date: 2015-02-14 17:30:59 Philosophical logic Mathematical logic Theories of truth Veracity Supposition theory Truth Negation Epistemology Proposition Logic Philosophy Propositional calculus
463	2 First Steps in Symbolization 1 The sentential connectives The premises and the conclusions of the arguments of Chapter One are complete sentences of English, but some of these sentences themselves consist in Add to Reading List Source URL: spot.colorado.edu Language: English - Date: 1999-07-23 18:30:57 Propositional calculus Propositions Predicate logic Logical syntax Statements Interpretation Logical connective Atomic sentence Sentence Logic Mathematical logic Linguistics
464	Scott Soames: Understanding Truth[removed]Scott Soames has written a valuable book. It is unmatched in its clear expositions and evaluations of the theories of truth of Tarski, Kripke, and Strawson, and much other formal Add to Reading List Source URL: web.missouri.edu Language: English - Date: 2013-05-02 14:32:08 Philosophical logic Propositional calculus Paradoxes Philosophy of language If and only if Sorites paradox Law of excluded middle Truth Negation Logic Philosophy Mathematics
465	Predicate Abstraction for Relaxed Memory Models Andrei Dan1 , Yuri Meshman2 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich {andrei.dan, martin.vechev}@inf.ethz.ch Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2013-04-22 14:23:31 Predicate logic Functions and mappings Model theory Propositional calculus Formal languages Predicate Function Primitive recursive function FO Mathematical logic Logic Mathematics
466	On the Contrary: Pragmatic Strengthening and Disjunctive Syllogism The dictum that “The essence of formal negation is to invest the contrary with the character of the contradictory” (Bosanquet[removed]describes the ten Add to Reading List Source URL: people.ucsc.edu Language: English - Date: 2015-01-24 16:05:50 Mathematics Disjunctive syllogism Mathematical logic Syllogism Contradiction Logical disjunction Logic Propositional calculus Rules of inference
467	T HE R EVIEW OF S YMBOLIC L OGIC Volume 2, Number 2, June 2009 PLURALISM IN LOGIC HARTRY FIELD Philosophy Department, New York University Add to Reading List Source URL: as.nyu.edu Language: English - Date: 2009-08-21 05:52:07 Non-classical logic Philosophy of mathematics Propositional calculus Paraconsistent logic Entailment Intuitionistic logic Relevance logic Intuitionism First-order logic Logic Mathematical logic Philosophical logic
468	Logique & Analyse 183–[removed]), x–x LOGICAL CONSEQUENCE AS TRUTH-PRESERVATION STEPHEN READ Abstract It is often suggested that truth-preservation is insufficient for logical Add to Reading List Source URL: www.st-andrews.ac.uk Language: English - Date: 2012-05-15 09:20:19 Philosophical logic Mathematical logic Non-classical logic Paradoxes of material implication Entailment Material conditional Validity Relevance logic Principia Mathematica Logic Propositional calculus Logical consequence
469	The Semantic Paradoxes and the Paradoxes of Vagueness Hartry Field∗ March 30, 2003 Both in dealing with the semantic paradoxes and in dealing with vagueness and indeterminacy, there is some temptation to weaken classic Add to Reading List Source URL: as.nyu.edu Language: English - Date: 2006-10-05 23:08:28 Predicate logic Propositional calculus Theories of truth Truth Predicate Modal logic Model theory Law of excluded middle Kripke semantics Logic Philosophical logic Mathematical logic
470	Predicate Abstraction for Relaxed Memory Models Andrei Dan1 , Yuri Meshman2 , Martin Vechev1, and Eran Yahav2 1 ETH Zurich {andrei.dan,martin.vechev}@inf.ethz.ch 2 Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2013-05-09 12:11:08 Predicate logic Functions and mappings Model theory Propositional calculus Formal languages Predicate Function Primitive recursive function Interpretation Mathematical logic Logic Mathematics

UPDATE